Zie (ook):

-  Gruithuis, ook wel Oude Stadhuis: zie ^Krommesteeg 11